In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 34.4 (2001) 355-363 [Access article in PDF] Plato on Power, Moral Responsibility and the Alleged Neutrality of Gorgias' Art of Rhetoric (Gorgias 456c-457b) James Stuart Murray 1. Introduction You are sitting in your office on a quiet Thursday afternoon when an agitated university administrator enters with news that the students in your "Plato class" have just been interviewed on the city's largest radio station. (...) According to them, their professor claimed that the demise of their university is a direct result of the fact that senior administrative positions are held by a motley assortment of business-oriented, academically cynical, "renewal"-promoting "innovators" whose main preoccupation is "government funding opportunities" in areas of dubious academic importance.Your response might be: "That's not what I taught them." Or perhaps you might say, "That's not exactly what I taught them--I didn't say it was a 'motley' assortment." In either case, you would be relying on some form of what Robert Wardy (170, n.r 20) has dubbed the "blame students, not teachers defence." He asserts, perhaps correctly, that this defense gained the status of topos within the ancient rhetorical tradition. A version of it certainly does seem to show up in Isocrates' Antidosis (250-52) and perhaps in his Nicocles (3-4), and it is suggested by remarks in both Aristotle's Rhetoric (1355b) and Quintilian's Institutio Oratoria (II,16,5). On this occasion, however, I am concerned with only one rendition, probably its earliest extant instance in Greek literature. In Plato's Gorgias, the eponymous sophist argues as follows: Imagine someone who after attending wrestling school, 1 getting his body into good shape and becoming a boxer, went on to strike his father and mother or any other family member or friend. By Zeus, that's no reason to hate physical trainers... and to exile them from their cities! For while these people imparted their skills to be used justly against enemies and wrongdoers, and in [End Page 355] defense, not aggression, their pupils pervert their strength and skill and misuse them. So it's not their teachers who are wicked, nor is this a reason why the craft should be a cause of wickedness; the ones who misuse it are supposedly the wicked ones. And the same is true for oratory as well. The orator has the ability to speak against everyone on every subject, so as in gatherings to be more persuasive, in short, about anything he likes, but the fact that he has the ability to rob doctors or other craftsmen of their reputations doesn't give him any more of a reason to do it. He should use oratory justly, as he would any competitive skill. And I suppose that if a person who has become an orator goes on with this ability and this craft to commit wrongdoing, we shouldn't hate his teacher and exile him from our cities. For while the teacher imparted it to be used justly, the pupil is making the opposite use of it. So it's the misuser whom it's just to hate and exile or put to death, not the teacher. (Gorgias 456d, 457a-b) 2Change "exile from our cities" to "fire from our universities" and this makes a good passage to remember when confronted by that agitated administrator mentioned above. Blame the students, not the teachers.Not much comment has been provoked by this defense of Gorgianic rhetoric and its underlying rhetor/boxer analogy, except over the question of whether we should read the passage as an accurate reflection of the words of the historical Gorgias or as a Platonic invention. In a previous generation, E. R. Dodds (212) reckoned that this defense was "probably the standpoint of the historical Gorgias," while E. A. Havelock (195) cautioned that "there is little--very little--that he [i.e., Plato] lets Gorgias say in the Gorgias." In our own day, and on a more general level, Thomas Cole (151) states that "Plato's... (shrink)

Moral philosophy is the study of what morality is and what it requires of us. As Socrates said, it's about "how we ought to live"-and why. It would be helpful if we could begin with a simple, uncontroversial definition of what morality is. Unfortunately, we cannot. There are many rival theories, each expounding a different conception of what it means to live morally, and any definition that goes beyond Socrates's simple formula-tion is bound to offend at least one of them. (...) This should make us cautious, but it need not paralyze us. In this chapter, I will describe the "minimum conception" of morality. (shrink)

This volume contains a selection of authoritative essays exploring the central questions raised by the conjectured technological singularity. In informed yet jargon-free contributions written by active research scientists, philosophers and sociologists, it goes beyond philosophical discussion to provide a detailed account of the risks that the singularity poses to human society and, perhaps most usefully, the possible actions that society and technologists can take to manage the journey to any singularity in a way that ensures a positive rather than a (...) negative impact on society. The discussions provide perspectives that cover technological, political and business issues. The aim is to bring clarity and rigor to the debate in a way that will inform and stimulate both experts and interested general readers. (shrink)

Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, motivated (...) from pre-mathematical considerations, without recourse to homotopy theory. (shrink)

Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might be (...) expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory, and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics?2.1 A characterization of a foundation for mathematics2.2 Autonomy3 The Basic Features of Homotopy Type Theory3.1 The rules3.2 The basic ways to construct types3.3 Types as propositions and propositions as types3.4 Identity3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types5.1 Tokens as mathematical objects?5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy7.1 Framework7.2 Semantics7.3 Metaphysics7.4 Epistemology7.5 Methodology8 Possible Objections to this Account8.1 A constructive foundation for mathematics?8.2 What are concepts?8.3 Isn’t this just Brouwerian intuitionism?8.4 Duplicated objects8.5 Intensionality and substitution salva veritate9 Conclusion9.1 Advantages of this foundation. (shrink)

There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kTln2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005) and Owen Maroney (2005) both argue that Landauer's Principle has not been shown to hold in general, and Maroney offers (...) a method that he claims instantiates the operation Reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences (assuming the second law of thermodynamics). We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'Reset', and thereby recover the quantitative form of Landauer's Principle. (shrink)

The Hole Argument is primarily about the meaning of general covariance in general relativity. As such it raises many deep issues about identity in mathematics and physics, the ontology of space–time, and how scientific representation works. This paper is about the application of a new foundational programme in mathematics, namely homotopy type theory, to the Hole Argument. It is argued that the framework of HoTT provides a natural resolution of the Hole Argument. The role of the Univalence Axiom in the (...) treatment of the Hole Argument in HoTT is clarified. (shrink)

Background Institutional Review Boards (IRBs) are federally mandated to include both nonscientific and unaffiliated representatives in their membership. Despite this, there is no guidance or policy on the selection of unaffiliated or non-scientist members and reports indicate a lack of clarity regarding members’ roles. In the present study we sought to explore processes of recruitment, training, and the perceived roles for unaffiliated and non-scientist members of IRBs.Methods We distributed a self-administered REDCap survey of members of the Association for the Accreditation (...) of Human Research Protection Programs familiar with IRB member recruitment. The survey included closed and open-ended questions regarding: the operation of the HRPP/IRB(s), how unaffiliated and non-scientist members are recruited, whether they had faced challenges recruiting for these roles, and training and mentorship offered. The survey also collected information regarding the perceived value and roles of unaffiliated and non-scientist members.Results 76 responses were included in the analysis (38% completion rate). The most common approach for recruitment was referral from current IRB members, with almost half of respondents indicating challenges recruiting unaffiliated members. Over 75% indicated no additional training was provided to unaffiliated or non-scientist members compared to affiliated or scientist members. Most common supports provided were travel/parking expenses and honoraria. Commonly perceived roles were to provide an independent voice from the participant perspective, notably regarding consent processes and materials.Conclusions Respondents indicated challenges in defining unaffiliated and non-scientist members and limited practices toward recruitment and support. Future work should more closely examine the challenges in defining these roles and applying the definitions in practice, as well as strategies that may improve recruitment and retention of unaffiliated and non-scientist members. (shrink)

There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kTln2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton and Owen Maroney both argue that Landauer's Principle has not been shown to hold in general, and Maroney offers a method (...) that he claims instantiates the operation Reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences. We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'Reset', and thereby recover the quantitative form of Landauer's Principle. (shrink)

Homotopy Type Theory (HoTT) is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might (...) be expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory (but is compatible with the homotopy interpretation), and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics? 2.1 A characterization of a foundation for mathematics 2.2 Autonomy3 The Basic Features of Homotopy Type Theory 3.1 The rules 3.2 The basic ways to construct types 3.3 Types as propositions and propositions as types 3.4 Identity 3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types 5.1 Tokens as mathematical objects? 5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy 7.1 Framework 7.2 Semantics 7.3 Metaphysics 7.4 Epistemology 7.5 Methodology8 Possible Objections to this Account 8.1 A constructive foundation for mathematics? 8.2 What are concepts? 8.3 Isn’t this just Brouwerian intuitionism? 8.4 Duplicated objects 8.5 Intensionality and substitution salva veritate9 Conclusion 9.1 Advantages of this foundation. (shrink)

Among the most interesting features of Homotopy Type Theory is the way it treats identity, which has various unusual characteristics. We examine the formal features of “identity types” in HoTT, and how they relate to its other features including intensionality, constructive logic, the interpretation of types as concepts, and the Univalence Axiom. The unusual behaviour of identity types might suggest that they be reinterpreted as representing indiscernibility. We explore this by defining indiscernibility in HoTT and examine its relationship with identity. (...) We argue that identity types are a primitive component of HoTT and cannot be reduced to indiscernibility. (shrink)

When considering controversial thermodynamic scenarios such as Maxwell's demon, it is often necessary to consider probabilistic mixtures of states. This raises the question of how, if at all, to assign entropy to them. The information-theoretic entropy is often used in such cases; however, no general proof of the soundness of doing so has been given, and indeed some arguments against doing so have been presented. We offer a general proof of the applicability of the information-theoretic entropy to probabilistic mixtures of (...) macrostates, making clear the assumptions on which it depends, in particular a probabilistic version of the Kelvin statement of the Second Law. We briefly discuss the interpretation of our result. (shrink)

The Univalence axiom, due to Vladimir Voevodsky, is often taken to be one of the most important discoveries arising from the Homotopy Type Theory research programme. It is said by Steve Awodey that Univalence embodies mathematical structuralism, and that Univalence may be regarded as ‘expanding the notion of identity to that of equivalence’. This article explores the conceptual, foundational and philosophical status of Univalence in Homotopy Type Theory. It extends our Types-as-Concepts interpretation of HoTT to Universes, and offers an account (...) of the Univalence axiom in such terms. We consider Awodey’s informal argument that Univalence is motivated by the principle that reasoning should be invariant under isomorphism, and we examine whether an autonomous and rigorous justification along these lines can be given. We consider two problems facing such a justification. First, there is a difference between equivalence and isomorphism and Univalence must be formulated in terms of the former. Second, the argument as presented cannot establish Univalence itself but only a weaker version of it, and must be supplemented by an additional principle. The article argues that the prospects for an autonomous justification of Univalence are promising. (shrink)

This is the introduction to the Routledge Companion to Thought Experiments.

James and Stuart Rachels introduce students to timeless philosophical problems such as the existence of God, the nature of the mind, human freedom, the limits of knowledge, and the truth about ethics. The fourth edition features revisions on discussions of free will, artificial intelligence, idealism, and Kantian ethics.

Now in its eighth edition, James Rachels’ and Stuart Rachels’ The Right Thing to Do: Readings in Moral Philosophy continues its legacy of providing students a diverse collection of thought-provoking essays. New to this edition are eight essays relevant to the today’s students, from gun rights to the opioid crisis to racial equality.

Thought experiments are a means of imaginative reasoning that lie at the heart of philosophy, from the pre-Socratics to the modern era, and they also play central roles in a range of fields, from physics to politics. The Routledge Companion to Thought Experiments is an invaluable guide and reference source to this multifaceted subject. Comprising over 30 chapters by a team of international contributors, the Companion covers the following important areas: -/- · the history of thought experiments, from antiquity to (...) the trolley problem and quantum non-locality; -/- · thought experiments in the humanities, arts, and sciences, including ethics, physics, theology, biology, mathematics, economics, and politics; -/- · theories about the nature of thought experiments; -/- · new discussions concerning the impact of experimental philosophy, cross-cultural comparison studies, metaphilosophy, computer simulations, idealization, dialectics, cognitive science, the artistic nature of thought experiments, and metaphysical issues. -/- This broad ranging Companion goes backwards through history and sideways across disciplines. It also engages with philosophical perspectives from empiricism, rationalism, naturalism, skepticism, pluralism, contextualism, and neo-Kantianism to phenomenology. This volume will be valuable for anyone studying the methods of philosophy or any discipline that employs thought experiments, as well as anyone interested in the power and limits of the mind. (shrink)

Purpose This paper aims to formalize long-term trajectories of human civilization as a scientific and ethical field of study. The long-term trajectory of human civilization can be defined as the path that human civilization takes during the entire future time period in which human civilization could continue to exist. -/- Design/methodology/approach This paper focuses on four types of trajectories: status quo trajectories, in which human civilization persists in a state broadly similar to its current state into the distant future; catastrophe (...) trajectories, in which one or more events cause significant harm to human civilization; technological transformation trajectories, in which radical technological breakthroughs put human civilization on a fundamentally different course; and astronomical trajectories, in which human civilization expands beyond its home planet and into the accessible portions of the cosmos. -/- Findings Status quo trajectories appear unlikely to persist into the distant future, especially in light of long-term astronomical processes. Several catastrophe, technological transformation and astronomical trajectories appear possible. -/- Originality/value Some current actions may be able to affect the long-term trajectory. Whether these actions should be pursued depends on a mix of empirical and ethical factors. For some ethical frameworks, these actions may be especially important to pursue. (shrink)

Jaswal & Akhtar provide several quotes ostensibly from people with autism but obtained via the discredited techniques of Facilitated Communication and the Rapid Prompting Method, and they do not acknowledge the use of these techniques. As a result, their argument is substantially less convincing than they assert, and the article lacks transparency.

Youths with disruptive behavior disorders and psychopathic traits showed reduced amygdala responses to fearful expressions under low attentional load but no indications of increased recruitment of regions implicated in top- down attentional control. These findings suggest that the emotional deficit observed in youths with disruptive behavior disorders and psychopathic traits is primary and not secondary to increased top- down attention to nonemotional stimulus features.

Homotopy type theory is a new branch of mathematics that connects algebraic topology with logic and computer science, and which has been proposed as a new language and conceptual framework for math- ematical practice. Much of the power of HoTT lies in the correspondence between the formal type theory and ideas from homotopy theory, in par- ticular the interpretation of types, tokens, and equalities as spaces, points, and paths. Fundamental to the use of identity and equality in HoTT is the (...) powerful proof technique of path induction. In the ‘HoTT Book’ this principle is justified through the homotopy interpretation of type theory, by treating identifications as paths and the induction step as a homotopy between paths. This is incompatible with HoTT being an au- tonomous foundation for mathematics, since any such foundation must be able to justify its principles without recourse to existing areas of mathemat- ics. In this paper it is shown that path induction can be motivated from pre-mathematical considerations, and in particular without recourse to ho- motopy theory. This makes HoTT a candidate for being an autonomous foundation for mathematics. (shrink)

Where does the road to reality lie? This fundamental question is addressed in this collection of essays by physicists and philosophers, inspired by the original ideas of Sir Roger Penrose, the English mathematical physicist and philosopher of science. The topics range from black holes and quantum information to the very nature of mathematical cognition itself. *** Librarians: ebook available on ProQuest and EBSCO [Subject: Philosophy, Physics, Mathematics, Cosmology].

As organizations place greater emphasis on environmental objectives, business educators must produce the next set of leaders who can champion corporate environmental sustainability initiatives. However, environmental sustainability represents a polarizing topic with some students dismissing its importance and legitimacy. Limited research exists to understand student behavioral influences on sustainability education, especially as it translates to environmental sustainability behavior in the workplace. This gap challenges our ability as educators to understand how to best teach environmental sustainability in order to reach diverse (...) student mindsets. We apply the theory of planned behavior (TPB) to address this gap, investigating the influence of student attitudes, subjective norm, and perceived behavioral control on environmental sustainability intention and behavior. A structural model tested with student survey data finds that student attitude represents the strongest influence on environmental sustainability intention. The model also validates that subjective norm affects sustainability intention with students considering professors along with business leaders and politicians as valid references for sustainability knowledge. To tie the results to effective educational interventions, we use the TPB to organize an extensive review of the sustainability pedagogy literature and identify specific teaching recommendations for increasing the effectiveness of environmental sustainability education. (shrink)

Book reviewed in this article: Animal Experimentation: The Moral Issues. Edited by Robert M. Baird and Stuart E. Rosenbaum.

The current study examined whether Callous-Unemotional (CU) traits, a core component of psychopathy, modulate neural responses of participants engaged in a social exchange game. In this task, participants were offered an allocation of money and then given the chance to punish the offerer. Twenty youth participated and responses to both offers and the participant’s punishment (or not) of these offers were examined. Increasingly unfair offers were associated with increased dorsal anterior cingulate cortex (dACC) activity but this responsiveness was not modulated (...) by CU traits. Increasing punishment of unfair offers was associated with increased dACC and anterior insula activity and this activity was modulated by CU traits. Higher CU trait participants showed a weaker association between activity and punishment level. These data suggest that CU traits are associated with appropriate expectations of other individual’s normative behavior but weaker representations of such information when guiding behavior of the self. (shrink)

Invertebrate genetic models with their tractable neuromuscular systems are effective vehicles for the study of human nerve and muscle disorders. This is exemplified by insights made into spinal muscular atrophy (SMA) using the fruit fly Drosophila melanogaster and the nematode worm Caenorhabditis elegans. For speed and economy, these invertebrates offer convenient, whole‐organism platforms for genetic screening as well as RNA interference (RNAi) and chemical library screens, permitting the rapid testing of hypotheses related to disease mechanisms and the exploration of new (...) therapeutic routes and drug candidates. Here, we discuss recent developments encompassing synaptic physiology, RNA processing, and screening of compound and genome‐scale RNAi libraries, showcasing the importance of invertebrate SMA models.Editor's suggested further reading in BioEssays: SMN and Gemins: ‘We are family’... or are we? Abstract. (shrink)

I argue that descartes' doubting of the external world does not rest on doubting the truth of clear and distinct ideas. in fact, he denies that we clearly and distinctly perceive the "existence" of material things. thus, their existence is not established through the validation of such ideas and we can understand why descartes' argument for their existence takes the form it does. i suggest that dreams lead him to conclude that the existence of material things is not clearly perceived (...) and to doubt their existence. (shrink)